No Syllogisms for the Numerical Syllogistic
نویسنده
چکیده
The numerical syllogistic is the extension of the traditional syllogistic with numerical quantifiers of the forms at least C and at most C. It is known that, for the traditional syllogistic, a finite collection of rules, similar in spirit to the classical syllogisms, constitutes a sound and complete proof-system. The question arises as to whether such a proof system exists for the numerical syllogistic. This paper answers that question in the negative: no finite collection of syllogism-like rules, broadly conceived, is sound and complete for the numerical syllogistic.
منابع مشابه
A Computational Logic Approach to Syllogisms in Human Reasoning
Abstract. Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion sema...
متن کاملHow logical reasoning mediates the relation between lexical quality and reading comprehension.
The present study aimed to examine the role of logical reasoning in the relation between lexical quality and reading comprehension in 146 fourth grade Dutch children. We assessed their standardized reading comprehension measure, along with their decoding efficiency and vocabulary as measures of lexical quality, syllogistic reasoning as measure of (verbal) logical reasoning, and nonverbal reason...
متن کاملThe Fuzzy Syllogistic System
A categorical syllogism is a rule of inference, consisting of two premisses and one conclusion. Every premiss and conclusion consists of dual relationships between the objects M, P, S. Logicians usually use only true syllogisms for deductive reasoning. After predicate logic had superseded syllogisms in the 19th century, interest on the syllogistic system vanished. We have analysed the syllogist...
متن کاملHow can Euler diagrams improve syllogistic reasoning?
The present study investigates the question of whether and how Euler diagrams can improve syllogistic reasoning. Previous research reports that there is no evidence to show the psychological advantage of Euler diagrams in solving syllogisms. In our experiments, we use Euler diagrams with “named points”, which are formulated within the simple Euler system introduced in our previous work. The dia...
متن کاملCompleteness Theorems for Syllogistic Fragments
Traditional syllogisms involve sentences of the following simple forms: All X are Y , Some X are Y , No X are Y ; similar sentences with proper names as subjects, and identities between names. These sentences come with the natural semantics using subsets of a given universe, and so it is natural to ask about complete proof systems. Logical systems are important in this area due to the prominenc...
متن کامل